(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[    100307,       3704]
NotebookOptionsPosition[     93137,       3475]
NotebookOutlinePosition[     95412,       3538]
CellTagsIndexPosition[     95298,       3532]
WindowTitle->FeynRule
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"Lagrangian\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/Lagrangian"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/FeynRule\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/FeynRule"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/FeynRule.\
html"], StandardForm]], "Input", TextClipboardType -> "PlainText"]}, Visible -> 
            False]]; SelectionMove[
         DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$139331], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/FeynRule", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["FeynRule", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"FeynRule", "[", 
       RowBox[{"lag", ",", " ", 
        RowBox[{"{", "fields", "}"}]}], "]"}]], "InlineFormula"],
     " \[LineSeparator]derives the Feynman rule corresponding to the field \
configuration ",
     Cell[BoxData["fields"], "InlineFormula"],
     " of the lagrangian ",
     Cell[BoxData["lag"], "InlineFormula"],
     "."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->395908320],

Cell["", "SectionHeaderSpacer"],

Cell[TextData[{
 ButtonBox["FeynRule",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/FeynRule",
  ButtonNote->"FeynRule"],
 " does not calculate propagator Feynman rules."
}], "Notes"],

Cell[TextData[{
 "The option ",
 ButtonBox["ZeroMomentumInsertion",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/ZeroMomentumInsertion",
  ButtonNote->"ZeroMomentumInsertion"],
 " can be used for twist-2 and higher twist operators."
}], "Notes"],

Cell[TextData[{
 ButtonBox["FeynRule",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/FeynRule",
  ButtonNote->"FeynRule"],
 " is not very versatile and was primarily developed for QCD calculations. It \
is often more useful when dealing with bosonic fields than with fermions. If \
you need a more powerful and universal solution for deriving Feynman rules, \
have a look at the standalone ",
 StyleBox["Mathematica",
  FontSlant->"Italic"],
 " Package ",
 Cell[BoxData[
  TemplateBox[{Cell[
     TextData["FeynRules"]],"http://feynrules.irmp.ucl.ac.be/"},
   "WebLink",
   BaseStyle->{"Notes"}]]],
 " (not related to FeynCalc)."
}], "Notes",
 CellID->1067943069],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "FeynRule", "]"}]], "Input",
 CellLabel->"In[31]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Anti5", "\[Rule]", 
     RowBox[{"-", "\[Infinity]"}]}], ",", 
    RowBox[{"Assumptions", "\[Rule]", "Automatic"}], ",", 
    RowBox[{"Contract", "\[Rule]", "False"}], ",", 
    RowBox[{"Factor1", "\[Rule]", "False"}], ",", 
    RowBox[{"FinalSubstitutions", "\[Rule]", 
     RowBox[{"{", "}"}]}], ",", 
    RowBox[{"FCPartialD", "\[Rule]", "RightPartialD"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}], ",", 
    RowBox[{"Schouten", "\[Rule]", "False"}], ",", 
    RowBox[{"ZeroMomentumInsertion", "\[Rule]", "True"}], ",", 
    RowBox[{"InitialFunction", "\[Rule]", "Identity"}]}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{473, 54},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[31]="]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(5)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->833699013],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(5)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->511073477],

Cell[TextData[{
 "Derive the Feyman rule for the ",
 Cell[BoxData[
  SuperscriptBox["\[Phi]", "4"]], "InlineFormula"],
 " theory."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", " ", "\[Lambda]"}], "/", 
   RowBox[{"4", "!"}]}], " ", 
  RowBox[{
   RowBox[{"QuantumField", "[", "\[Phi]", "]"}], "^", "4"}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"-", 
   FractionBox[
    RowBox[{"\[Lambda]", " ", 
     SuperscriptBox[
      FormBox["\[Phi]",
       TraditionalForm], "4"]}], "24"]}], TraditionalForm]], "Output",
 ImageSize->{48, 38},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynRule", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"QuantumField", "[", "\[Phi]", "]"}], "[", "p1", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", "\[Phi]", "]"}], "[", "p2", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", "\[Phi]", "]"}], "[", "p3", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", "\[Phi]", "]"}], "[", "p4", "]"}]}], 
    "}"}]}], "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", "\[ImaginaryI]"}], " ", "\[Lambda]"}], 
  TraditionalForm]], "Output",
 ImageSize->{34, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell["Derive the Feyman rule for the quark-gluon vertex", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"I", " ", 
  RowBox[{
   RowBox[{"QuantumField", "[", "AntiQuarkField", "]"}], ".", 
   RowBox[{"GA", "[", "\[Mu]", "]"}], ".", 
   RowBox[{"CovariantD", "[", "\[Mu]", "]"}], ".", 
   RowBox[{"QuantumField", "[", "QuarkField", "]"}]}]}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"\[ImaginaryI]", " ", 
   RowBox[{
    FormBox[
     OverscriptBox["\[Psi]", "_"],
     TraditionalForm], ".", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm]],
     TraditionalForm], ".", 
    SubscriptBox["D", 
     FormBox["\[Mu]",
      TraditionalForm]], ".", 
    FormBox["\[Psi]",
     TraditionalForm]}]}], TraditionalForm]], "Output",
 ImageSize->{94, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynRule", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "\[Mu]", "}"}], ",", 
        RowBox[{"{", "a", "}"}]}], "]"}], "[", "p1", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", "QuarkField", "]"}], "[", "p2", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", "AntiQuarkField", "]"}], "[", "p3", 
      "]"}]}], "}"}]}], "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"\[ImaginaryI]", " ", 
   SuperscriptBox["T", 
    FormBox[
     FormBox["a",
      TraditionalForm],
     TraditionalForm]], " ", 
   SubscriptBox["g", "s"], " ", 
   SuperscriptBox[
    OverscriptBox["\[Gamma]", "_"], 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{82, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell["Derive the Feyman rule for the 4-gluon vertex.", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "4"]}], " ", 
  RowBox[{
   RowBox[{"FieldStrength", "[", 
    RowBox[{"\[Alpha]", ",", "\[Beta]", ",", "i"}], "]"}], ".", 
   RowBox[{"FieldStrength", "[", 
    RowBox[{"\[Alpha]", ",", "\[Beta]", ",", "i"}], "]"}]}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "4"]}], " ", 
   RowBox[{
    SubsuperscriptBox["F", 
     RowBox[{
      FormBox["\[Alpha]",
       TraditionalForm], 
      FormBox["\[Beta]",
       TraditionalForm]}], 
     FormBox["i",
      TraditionalForm]], ".", 
    SubsuperscriptBox["F", 
     RowBox[{
      FormBox["\[Alpha]",
       TraditionalForm], 
      FormBox["\[Beta]",
       TraditionalForm]}], 
     FormBox["i",
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{94, 35},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynRule", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "\[Mu]", "}"}], ",", 
        RowBox[{"{", "a", "}"}]}], "]"}], "[", "p1", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "\[Nu]", "}"}], ",", 
        RowBox[{"{", "b", "}"}]}], "]"}], "[", "p2", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "\[Rho]", "}"}], ",", 
        RowBox[{"{", "c", "}"}]}], "]"}], "[", "p3", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "\[Sigma]", "}"}], ",", 
        RowBox[{"{", "d", "}"}]}], "]"}], "[", "p4", "]"}]}], "}"}]}], 
  "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"\[ImaginaryI]", " ", 
    SubsuperscriptBox["g", "s", "2"], " ", 
    SuperscriptBox["f", 
     RowBox[{
      FormBox[
       FormBox["a",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["d",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        RowBox[{"FCGV", "(", "\<\"si550\"\>", ")"}],
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox["f", 
     RowBox[{
      FormBox[
       FormBox["b",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["c",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        RowBox[{"FCGV", "(", "\<\"si550\"\>", ")"}],
        TraditionalForm],
       TraditionalForm]}]], " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Rho]",
           TraditionalForm],
          TraditionalForm]}]], " ", 
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Sigma]",
           TraditionalForm],
          TraditionalForm]}]]}], "-", 
      RowBox[{
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm]}]], " ", 
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Rho]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Sigma]",
           TraditionalForm],
          TraditionalForm]}]]}]}], ")"}]}], "+", 
   RowBox[{"\[ImaginaryI]", " ", 
    SubsuperscriptBox["g", "s", "2"], " ", 
    SuperscriptBox["f", 
     RowBox[{
      FormBox[
       FormBox["a",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["c",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        RowBox[{"FCGV", "(", "\<\"si550\"\>", ")"}],
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox["f", 
     RowBox[{
      FormBox[
       FormBox["b",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["d",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        RowBox[{"FCGV", "(", "\<\"si550\"\>", ")"}],
        TraditionalForm],
       TraditionalForm]}]], " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Sigma]",
           TraditionalForm],
          TraditionalForm]}]], " ", 
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Rho]",
           TraditionalForm],
          TraditionalForm]}]]}], "-", 
      RowBox[{
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm]}]], " ", 
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Rho]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Sigma]",
           TraditionalForm],
          TraditionalForm]}]]}]}], ")"}]}], "+", 
   RowBox[{"\[ImaginaryI]", " ", 
    SubsuperscriptBox["g", "s", "2"], " ", 
    SuperscriptBox["f", 
     RowBox[{
      FormBox[
       FormBox["a",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["b",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        RowBox[{"FCGV", "(", "\<\"si550\"\>", ")"}],
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox["f", 
     RowBox[{
      FormBox[
       FormBox["c",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["d",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        RowBox[{"FCGV", "(", "\<\"si550\"\>", ")"}],
        TraditionalForm],
       TraditionalForm]}]], " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Sigma]",
           TraditionalForm],
          TraditionalForm]}]], " ", 
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Rho]",
           TraditionalForm],
          TraditionalForm]}]]}], "-", 
      RowBox[{
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Rho]",
           TraditionalForm],
          TraditionalForm]}]], " ", 
       SuperscriptBox[
        OverscriptBox["g", "_"], 
        RowBox[{
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Sigma]",
           TraditionalForm],
          TraditionalForm]}]]}]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{434, 72},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"GluonVertex", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"p", ",", "\[Mu]", ",", "a"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"q", ",", "\[Nu]", ",", "b"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"r", ",", "\[Rho]", ",", "c"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"s", ",", "\[Sigma]", ",", "d"}], "}"}], ",", 
   RowBox[{"Dimension", "\[Rule]", "4"}], ",", 
   RowBox[{"Explicit", "\[Rule]", "True"}]}], "]"}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", "\[ImaginaryI]"}], " ", 
   SubsuperscriptBox["g", "s", "2"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["a",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["d",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox[
          RowBox[{"FCGV", "(", "\<\"u663\"\>", ")"}],
          TraditionalForm],
         TraditionalForm]}]], " ", 
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["b",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["c",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox[
          RowBox[{"FCGV", "(", "\<\"u663\"\>", ")"}],
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Mu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Nu]",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Rho]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Sigma]",
             TraditionalForm],
            TraditionalForm]}]]}], "-", 
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Mu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Rho]",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Nu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Sigma]",
             TraditionalForm],
            TraditionalForm]}]]}]}], ")"}]}], "+", 
     RowBox[{
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["a",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["c",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox[
          RowBox[{"FCGV", "(", "\<\"u663\"\>", ")"}],
          TraditionalForm],
         TraditionalForm]}]], " ", 
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["b",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["d",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox[
          RowBox[{"FCGV", "(", "\<\"u663\"\>", ")"}],
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Mu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Nu]",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Rho]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Sigma]",
             TraditionalForm],
            TraditionalForm]}]]}], "-", 
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Mu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Sigma]",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Nu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Rho]",
             TraditionalForm],
            TraditionalForm]}]]}]}], ")"}]}], "+", 
     RowBox[{
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["a",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["b",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox[
          RowBox[{"FCGV", "(", "\<\"u663\"\>", ")"}],
          TraditionalForm],
         TraditionalForm]}]], " ", 
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["c",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["d",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox[
          RowBox[{"FCGV", "(", "\<\"u663\"\>", ")"}],
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Mu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Rho]",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Nu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Sigma]",
             TraditionalForm],
            TraditionalForm]}]]}], "-", 
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Mu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Sigma]",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Nu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Rho]",
             TraditionalForm],
            TraditionalForm]}]]}]}], ")"}]}]}], ")"}]}], 
  TraditionalForm]], "Output",
 ImageSize->{436, 72},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"FCCanonicalizeDummyIndices", "[", 
   RowBox[{"%", "-", "%%"}], "]"}], "//", "Factor"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell["Derive the Feyman rule for the 3-gluon vertex.", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "4"]}], " ", 
  RowBox[{
   RowBox[{"FieldStrength", "[", 
    RowBox[{"\[Alpha]", ",", "\[Beta]", ",", "i"}], "]"}], ".", 
   RowBox[{"FieldStrength", "[", 
    RowBox[{"\[Alpha]", ",", "\[Beta]", ",", "i"}], "]"}]}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "4"]}], " ", 
   RowBox[{
    SubsuperscriptBox["F", 
     RowBox[{
      FormBox["\[Alpha]",
       TraditionalForm], 
      FormBox["\[Beta]",
       TraditionalForm]}], 
     FormBox["i",
      TraditionalForm]], ".", 
    SubsuperscriptBox["F", 
     RowBox[{
      FormBox["\[Alpha]",
       TraditionalForm], 
      FormBox["\[Beta]",
       TraditionalForm]}], 
     FormBox["i",
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{94, 35},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynRule", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "\[Mu]", "}"}], ",", 
        RowBox[{"{", "a", "}"}]}], "]"}], "[", "p", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "\[Nu]", "}"}], ",", 
        RowBox[{"{", "b", "}"}]}], "]"}], "[", "q", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "\[Rho]", "}"}], ",", 
        RowBox[{"{", "c", "}"}]}], "]"}], "[", "r", "]"}]}], "}"}]}], 
  "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   SubscriptBox["g", "s"], " ", 
   SuperscriptBox["f", 
    RowBox[{
     FormBox[
      FormBox["a",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["b",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["c",
       TraditionalForm],
      TraditionalForm]}]], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      SuperscriptBox[
       OverscriptBox["g", "_"], 
       RowBox[{
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["\[Nu]",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["\[Rho]",
           TraditionalForm],
          TraditionalForm]], "-", 
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["q",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["\[Rho]",
           TraditionalForm],
          TraditionalForm]]}], ")"}]}], "-", 
     RowBox[{
      SuperscriptBox[
       OverscriptBox["g", "_"], 
       RowBox[{
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["\[Rho]",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm]], "-", 
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["r",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm]]}], ")"}]}], "+", 
     RowBox[{
      SuperscriptBox[
       OverscriptBox["g", "_"], 
       RowBox[{
        FormBox[
         FormBox["\[Nu]",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["\[Rho]",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["q",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm]], "-", 
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["r",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm]]}], ")"}]}]}], ")"}]}], TraditionalForm]], "Output",\

 ImageSize->{440, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"GluonVertex", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"p", ",", "\[Mu]", ",", "a"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"q", ",", "\[Nu]", ",", "b"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"r", ",", "\[Rho]", ",", "c"}], "}"}], ",", 
   RowBox[{"Dimension", "\[Rule]", "4"}], ",", 
   RowBox[{"Explicit", "\[Rule]", "True"}]}], "]"}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   SubscriptBox["g", "s"], " ", 
   SuperscriptBox["f", 
    RowBox[{
     FormBox[
      FormBox["a",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["b",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["c",
       TraditionalForm],
      TraditionalForm]}]], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      SuperscriptBox[
       OverscriptBox["g", "_"], 
       RowBox[{
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["\[Nu]",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      SuperscriptBox[
       RowBox[{"(", 
        FormBox[
         RowBox[{
          OverscriptBox[
           FormBox["p",
            TraditionalForm], "_"], "-", 
          OverscriptBox[
           FormBox["q",
            TraditionalForm], "_"]}],
         TraditionalForm], ")"}], 
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm]]}], "+", 
     RowBox[{
      SuperscriptBox[
       OverscriptBox["g", "_"], 
       RowBox[{
        FormBox[
         FormBox["\[Mu]",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["\[Rho]",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      SuperscriptBox[
       RowBox[{"(", 
        FormBox[
         RowBox[{
          OverscriptBox[
           FormBox["r",
            TraditionalForm], "_"], "-", 
          OverscriptBox[
           FormBox["p",
            TraditionalForm], "_"]}],
         TraditionalForm], ")"}], 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]]}], "+", 
     RowBox[{
      SuperscriptBox[
       OverscriptBox["g", "_"], 
       RowBox[{
        FormBox[
         FormBox["\[Nu]",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["\[Rho]",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      SuperscriptBox[
       RowBox[{"(", 
        FormBox[
         RowBox[{
          OverscriptBox[
           FormBox["q",
            TraditionalForm], "_"], "-", 
          OverscriptBox[
           FormBox["r",
            TraditionalForm], "_"]}],
         TraditionalForm], ")"}], 
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm]]}]}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{413, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"ExpandScalarProduct", "[", 
   RowBox[{"%", "-", "%%"}], "]"}], "//", "Factor"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell["Derive the Feynman rules for the Higgs EFT.", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   RowBox[{"(", 
    RowBox[{"1", "/", "4"}], ")"}]}], " ", "CH", " ", 
  RowBox[{
   RowBox[{"FieldStrength", "[", 
    RowBox[{"mu", ",", "nu", ",", "a"}], "]"}], ".", 
   RowBox[{"FieldStrength", "[", 
    RowBox[{"mu", ",", "nu", ",", "a"}], "]"}], ".", 
   RowBox[{"QuantumField", "[", "H", "]"}]}]}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "4"]}], " ", "CH", " ", 
   RowBox[{
    SubsuperscriptBox["F", 
     RowBox[{
      FormBox["mu",
       TraditionalForm], 
      FormBox["nu",
       TraditionalForm]}], 
     FormBox["a",
      TraditionalForm]], ".", 
    SubsuperscriptBox["F", 
     RowBox[{
      FormBox["mu",
       TraditionalForm], 
      FormBox["nu",
       TraditionalForm]}], 
     FormBox["a",
      TraditionalForm]], ".", 
    FormBox["H",
     TraditionalForm]}]}], TraditionalForm]], "Output",
 ImageSize->{156, 35},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell["Higgs-gg vertex.", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynRule", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "i", "}"}], ",", 
        RowBox[{"{", "a", "}"}]}], "]"}], "[", "p1", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "j", "}"}], ",", 
        RowBox[{"{", "b", "}"}]}], "]"}], "[", "p2", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", "H", "]"}], "[", "p3", "]"}]}], "}"}]}], 
  "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", "\[ImaginaryI]"}], " ", "CH", " ", 
   SuperscriptBox["\[Delta]", 
    RowBox[{
     FormBox[
      FormBox["a",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["b",
       TraditionalForm],
      TraditionalForm]}]], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      SuperscriptBox[
       FormBox[
        OverscriptBox[
         FormBox["p2",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        FormBox["i",
         TraditionalForm],
        TraditionalForm]], " ", 
      SuperscriptBox[
       FormBox[
        OverscriptBox[
         FormBox["p1",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        FormBox["j",
         TraditionalForm],
        TraditionalForm]]}], "-", 
     RowBox[{
      SuperscriptBox[
       OverscriptBox["g", "_"], 
       RowBox[{
        FormBox[
         FormBox["i",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["j",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        FormBox[
         OverscriptBox[
          FormBox["p1",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["\<\"\[CenterDot]\"\>",
         TraditionalForm], 
        FormBox[
         OverscriptBox[
          FormBox["p2",
           TraditionalForm], "_"],
         TraditionalForm]}], ")"}]}]}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{257, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell["Higgs-ggg vertex.", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"FeynRule", "[", 
   RowBox[{"%%", ",", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{
       RowBox[{"QuantumField", "[", 
        RowBox[{"GaugeField", ",", 
         RowBox[{"{", "i", "}"}], ",", 
         RowBox[{"{", "a", "}"}]}], "]"}], "[", "p1", "]"}], ",", "\n", "\t", 
      
      RowBox[{
       RowBox[{"QuantumField", "[", 
        RowBox[{"GaugeField", ",", 
         RowBox[{"{", "j", "}"}], ",", 
         RowBox[{"{", "b", "}"}]}], "]"}], "[", "p2", "]"}], ",", 
      RowBox[{
       RowBox[{"QuantumField", "[", 
        RowBox[{"GaugeField", ",", 
         RowBox[{"{", "k", "}"}], ",", 
         RowBox[{"{", "c", "}"}]}], "]"}], "[", "p3", "]"}], ",", 
      RowBox[{
       RowBox[{"QuantumField", "[", "H", "]"}], "[", "p4", "]"}]}], "}"}]}], 
   "]"}], "//", "Simplify"}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"CH", " ", 
   SubscriptBox["g", "s"], " ", 
   SuperscriptBox["f", 
    RowBox[{
     FormBox[
      FormBox["a",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["b",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["c",
       TraditionalForm],
      TraditionalForm]}]], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      SuperscriptBox[
       OverscriptBox["g", "_"], 
       RowBox[{
        FormBox[
         FormBox["i",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["j",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p1",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["k",
           TraditionalForm],
          TraditionalForm]], "-", 
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p2",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["k",
           TraditionalForm],
          TraditionalForm]]}], ")"}]}], "-", 
     RowBox[{
      SuperscriptBox[
       OverscriptBox["g", "_"], 
       RowBox[{
        FormBox[
         FormBox["i",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["k",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p1",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["j",
           TraditionalForm],
          TraditionalForm]], "-", 
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p3",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["j",
           TraditionalForm],
          TraditionalForm]]}], ")"}]}], "+", 
     RowBox[{
      SuperscriptBox[
       OverscriptBox["g", "_"], 
       RowBox[{
        FormBox[
         FormBox["j",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["k",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p2",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["i",
           TraditionalForm],
          TraditionalForm]], "-", 
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p3",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["i",
           TraditionalForm],
          TraditionalForm]]}], ")"}]}]}], ")"}]}], TraditionalForm]], "Output",\

 ImageSize->{496, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell["Higgs-gggg vertex.", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"FeynRule", "[", 
    RowBox[{"%%%", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{
        RowBox[{"QuantumField", "[", 
         RowBox[{"GaugeField", ",", 
          RowBox[{"{", "i", "}"}], ",", 
          RowBox[{"{", "a", "}"}]}], "]"}], "[", "p1", "]"}], ",", 
       RowBox[{
        RowBox[{"QuantumField", "[", 
         RowBox[{"GaugeField", ",", 
          RowBox[{"{", "j", "}"}], ",", 
          RowBox[{"{", "b", "}"}]}], "]"}], "[", "p2", "]"}], ",", 
       RowBox[{
        RowBox[{"QuantumField", "[", 
         RowBox[{"GaugeField", ",", 
          RowBox[{"{", "k", "}"}], ",", 
          RowBox[{"{", "c", "}"}]}], "]"}], "[", "p3", "]"}], ",", "\n", 
       RowBox[{
        RowBox[{"QuantumField", "[", 
         RowBox[{"GaugeField", ",", 
          RowBox[{"{", "l", "}"}], ",", 
          RowBox[{"{", "d", "}"}]}], "]"}], "[", "p4", "]"}], ",", 
       RowBox[{
        RowBox[{"QuantumField", "[", "H", "]"}], "[", "p5", "]"}]}], "}"}]}], 
    "]"}], "//", "\n", 
   RowBox[{
    RowBox[{"FCCanonicalizeDummyIndices", "[", 
     RowBox[{"#", ",", 
      RowBox[{"SUNIndexNames", "->", 
       RowBox[{"{", "e", "}"}]}]}], "]"}], "&"}]}], "//", 
  RowBox[{
   RowBox[{"Collect2", "[", 
    RowBox[{"#", ",", "SUNF", ",", "\n", 
     RowBox[{"FCFactorOut", "->", " ", 
      RowBox[{"I", " ", "CH", " ", 
       RowBox[{
        RowBox[{"SMP", "[", "\"\<g_s\>\"", "]"}], "^", "2"}]}]}]}], "]"}], 
   "&"}]}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"\[ImaginaryI]", " ", "CH", " ", 
   SubsuperscriptBox["g", "s", "2"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["a",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["d",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["e",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["b",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["c",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["e",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["i",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["k",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["j",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["l",
             TraditionalForm],
            TraditionalForm]}]]}], "-", 
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["i",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["j",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["k",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["l",
             TraditionalForm],
            TraditionalForm]}]]}]}], ")"}]}], "+", 
     RowBox[{
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["a",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["c",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["e",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["b",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["d",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["e",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["i",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["l",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["j",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["k",
             TraditionalForm],
            TraditionalForm]}]]}], "-", 
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["i",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["j",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["k",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["l",
             TraditionalForm],
            TraditionalForm]}]]}]}], ")"}]}], "+", 
     RowBox[{
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["a",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["b",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["e",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      SuperscriptBox["f", 
       RowBox[{
        FormBox[
         FormBox["c",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["d",
          TraditionalForm],
         TraditionalForm], 
        FormBox[
         FormBox["e",
          TraditionalForm],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["i",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["l",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["j",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["k",
             TraditionalForm],
            TraditionalForm]}]]}], "-", 
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["i",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["k",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["j",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["l",
             TraditionalForm],
            TraditionalForm]}]]}]}], ")"}]}]}], ")"}]}], 
  TraditionalForm]], "Output",
 ImageSize->{511, 47},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell["Some OPE-related examples:", "Notes"],

Cell["2-gluon Feynman rules (unpolarized).", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Lagrangian", "[", "\"\<ogu\>\"", "]"}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FractionBox["1", "2"], " ", 
   SuperscriptBox["\[ImaginaryI]", 
    RowBox[{"m", "-", "1"}]], " ", 
   RowBox[{
    SubsuperscriptBox["F", 
     RowBox[{
      FormBox[
       RowBox[{"FCGV", "(", "\<\"\[Alpha]\"\>", ")"}],
       TraditionalForm], 
      FormBox[
       FormBox["\[CapitalDelta]",
        TraditionalForm],
       TraditionalForm]}], 
     FormBox[
      RowBox[{"FCGV", "(", "\<\"a\"\>", ")"}],
      TraditionalForm]], ".", 
    SuperscriptBox[
     RowBox[{"(", 
      SubsuperscriptBox["D", 
       FormBox["\[CapitalDelta]",
        TraditionalForm], 
       RowBox[{
        FormBox[
         RowBox[{"FCGV", "(", "\<\"a\"\>", ")"}],
         TraditionalForm], 
        FormBox[
         RowBox[{"FCGV", "(", "\<\"b\"\>", ")"}],
         TraditionalForm]}]], ")"}], 
     RowBox[{"m", "-", "2"}]], ".", 
    SubsuperscriptBox["F", 
     RowBox[{
      FormBox[
       RowBox[{"FCGV", "(", "\<\"\[Alpha]\"\>", ")"}],
       TraditionalForm], 
      FormBox[
       FormBox["\[CapitalDelta]",
        TraditionalForm],
       TraditionalForm]}], 
     FormBox[
      RowBox[{"FCGV", "(", "\<\"b\"\>", ")"}],
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{358, 35},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"FeynRule", "[", 
   RowBox[{"%", ",", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{
       RowBox[{"QuantumField", "[", 
        RowBox[{"GaugeField", ",", 
         RowBox[{"{", "\[Mu]", "}"}], ",", 
         RowBox[{"{", "a", "}"}]}], "]"}], "[", "p", "]"}], ",", 
      RowBox[{
       RowBox[{"QuantumField", "[", 
        RowBox[{"GaugeField", ",", 
         RowBox[{"{", "\[Nu]", "}"}], ",", 
         RowBox[{"{", "b", "}"}]}], "]"}], "[", "q", "]"}]}], "}"}], ",", 
    RowBox[{"ZeroMomentumInsertion", "\[Rule]", "False"}]}], "]"}], "//", 
  "Factor"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     SuperscriptBox["\[Delta]", 
      RowBox[{
       FormBox[
        FormBox["a",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["b",
         TraditionalForm],
        TraditionalForm]}]], " ", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["p",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], "m"], " ", 
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             OverscriptBox[
              FormBox["q",
               TraditionalForm], "_"],
             TraditionalForm]}],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"]}], "+", 
       RowBox[{
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["q",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], "m"], " ", 
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             OverscriptBox[
              FormBox["p",
               TraditionalForm], "_"],
             TraditionalForm]}],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"]}]}], ")"}], " ", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", 
        RowBox[{
         SuperscriptBox[
          OverscriptBox["g", "_"], 
          RowBox[{
           FormBox[
            FormBox["\[Mu]",
             TraditionalForm],
            TraditionalForm], 
           FormBox[
            FormBox["\[Nu]",
             TraditionalForm],
            TraditionalForm]}]], " ", 
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["p",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], " ", 
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["q",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}]}]}], "+", 
       RowBox[{
        SuperscriptBox[
         FormBox[
          FormBox["\[CapitalDelta]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm]], " ", 
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["q",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm]], " ", 
        RowBox[{"(", 
         RowBox[{
          FormBox[
           FormBox["\[CapitalDelta]",
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\"\[CenterDot]\"\>",
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["p",
             TraditionalForm], "_"],
           TraditionalForm]}], ")"}]}], "+", 
       RowBox[{
        SuperscriptBox[
         FormBox[
          FormBox["\[CapitalDelta]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm]], " ", 
        SuperscriptBox[
         FormBox[
          OverscriptBox[
           FormBox["p",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm]], " ", 
        RowBox[{"(", 
         RowBox[{
          FormBox[
           FormBox["\[CapitalDelta]",
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\"\[CenterDot]\"\>",
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["q",
             TraditionalForm], "_"],
           TraditionalForm]}], ")"}]}], "-", 
       RowBox[{
        SuperscriptBox[
         FormBox[
          FormBox["\[CapitalDelta]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm]], " ", 
        SuperscriptBox[
         FormBox[
          FormBox["\[CapitalDelta]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm]], " ", 
        RowBox[{"(", 
         RowBox[{
          FormBox[
           OverscriptBox[
            FormBox["p",
             TraditionalForm], "_"],
           TraditionalForm], 
          FormBox["\<\"\[CenterDot]\"\>",
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["q",
             TraditionalForm], "_"],
           TraditionalForm]}], ")"}]}]}], ")"}]}], ")"}], "/", 
   RowBox[{"(", 
    RowBox[{"2", " ", 
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{
         FormBox[
          FormBox["\[CapitalDelta]",
           TraditionalForm],
          TraditionalForm], 
         FormBox["\<\"\[CenterDot]\"\>",
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p",
            TraditionalForm], "_"],
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"], " ", 
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        RowBox[{
         FormBox[
          FormBox["\[CapitalDelta]",
           TraditionalForm],
          TraditionalForm], 
         FormBox["\<\"\[CenterDot]\"\>",
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["q",
            TraditionalForm], "_"],
          TraditionalForm]}],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"]}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{550, 69},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell["2-gluon Feynman rules (polarized).", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Lagrangian", "[", "\"\<ogp\>\"", "]"}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FractionBox["1", "2"], " ", 
   SuperscriptBox["\[ImaginaryI]", "m"], " ", 
   RowBox[{
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Epsilon]", "_"], 
      RowBox[{
       FormBox[
        FormBox[
         RowBox[{"FCGV", "(", "\<\"\[Alpha]\"\>", ")"}],
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{"FCGV", "(", "\<\"\[Beta]\"\>", ")"}],
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{"FCGV", "(", "\<\"\[Gamma]\"\>", ")"}],
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[CapitalDelta]",
         TraditionalForm],
        TraditionalForm]}]],
     TraditionalForm], ".", 
    SubsuperscriptBox["F", 
     RowBox[{
      FormBox[
       RowBox[{"FCGV", "(", "\<\"\[Beta]\"\>", ")"}],
       TraditionalForm], 
      FormBox[
       RowBox[{"FCGV", "(", "\<\"\[Gamma]\"\>", ")"}],
       TraditionalForm]}], 
     FormBox[
      RowBox[{"FCGV", "(", "\<\"a\"\>", ")"}],
      TraditionalForm]], ".", 
    SuperscriptBox[
     RowBox[{"(", 
      SubsuperscriptBox["D", 
       FormBox["\[CapitalDelta]",
        TraditionalForm], 
       RowBox[{
        FormBox[
         RowBox[{"FCGV", "(", "\<\"a\"\>", ")"}],
         TraditionalForm], 
        FormBox[
         RowBox[{"FCGV", "(", "\<\"b\"\>", ")"}],
         TraditionalForm]}]], ")"}], 
     RowBox[{"m", "-", "2"}]], ".", 
    SubsuperscriptBox["F", 
     RowBox[{
      FormBox[
       RowBox[{"FCGV", "(", "\<\"\[Alpha]\"\>", ")"}],
       TraditionalForm], 
      FormBox[
       FormBox["\[CapitalDelta]",
        TraditionalForm],
       TraditionalForm]}], 
     FormBox[
      RowBox[{"FCGV", "(", "\<\"b\"\>", ")"}],
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{559, 35},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"FeynRule", "[", 
   RowBox[{"%", ",", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{
       RowBox[{"QuantumField", "[", 
        RowBox[{"GaugeField", ",", 
         RowBox[{"{", "\[Mu]", "}"}], ",", 
         RowBox[{"{", "a", "}"}]}], "]"}], "[", "p", "]"}], ",", 
      RowBox[{
       RowBox[{"QuantumField", "[", 
        RowBox[{"GaugeField", ",", 
         RowBox[{"{", "\[Nu]", "}"}], ",", 
         RowBox[{"{", "b", "}"}]}], "]"}], "[", "q", "]"}]}], "}"}], ",", 
    RowBox[{"ZeroMomentumInsertion", "\[Rule]", "False"}]}], "]"}], "//", 
  "Factor"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"-", 
   RowBox[{
    FractionBox["1", 
     RowBox[{
      SuperscriptBox[
       RowBox[{
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         RowBox[{
          FormBox[
           FormBox["\[CapitalDelta]",
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\"\[CenterDot]\"\>",
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["p",
             TraditionalForm], "_"],
           TraditionalForm]}],
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], "2"], " ", 
      SuperscriptBox[
       RowBox[{
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         RowBox[{
          FormBox[
           FormBox["\[CapitalDelta]",
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\"\[CenterDot]\"\>",
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["q",
             TraditionalForm], "_"],
           TraditionalForm]}],
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], "2"]}]], 
    RowBox[{"\[ImaginaryI]", " ", 
     SuperscriptBox["\[Delta]", 
      RowBox[{
       FormBox[
        FormBox["a",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["b",
         TraditionalForm],
        TraditionalForm]}]], " ", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{
        SuperscriptBox[
         FormBox[
          FormBox["\[CapitalDelta]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Mu]",
           TraditionalForm],
          TraditionalForm]], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["p",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], "m"], " ", 
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             OverscriptBox[
              FormBox["q",
               TraditionalForm], "_"],
             TraditionalForm]}],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"], " ", 
        SuperscriptBox[
         OverscriptBox["\[Epsilon]", "_"], 
         RowBox[{
          FormBox[
           FormBox["\[Nu]",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           FormBox["\[CapitalDelta]",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["p",
             TraditionalForm], "_"],
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["q",
             TraditionalForm], "_"],
           TraditionalForm]}]]}], "-", 
       RowBox[{
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["p",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], 
         RowBox[{"m", "+", "1"}]], " ", 
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             OverscriptBox[
              FormBox["q",
               TraditionalForm], "_"],
             TraditionalForm]}],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"], " ", 
        SuperscriptBox[
         OverscriptBox["\[Epsilon]", "_"], 
         RowBox[{
          FormBox[
           FormBox["\[Mu]",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           FormBox["\[Nu]",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           FormBox["\[CapitalDelta]",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["q",
             TraditionalForm], "_"],
           TraditionalForm]}]]}], "-", 
       RowBox[{
        SuperscriptBox[
         FormBox[
          FormBox["\[CapitalDelta]",
           TraditionalForm],
          TraditionalForm], 
         FormBox[
          FormBox["\[Nu]",
           TraditionalForm],
          TraditionalForm]], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["q",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], "m"], " ", 
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             OverscriptBox[
              FormBox["p",
               TraditionalForm], "_"],
             TraditionalForm]}],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"], " ", 
        SuperscriptBox[
         OverscriptBox["\[Epsilon]", "_"], 
         RowBox[{
          FormBox[
           FormBox["\[Mu]",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           FormBox["\[CapitalDelta]",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["p",
             TraditionalForm], "_"],
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["q",
             TraditionalForm], "_"],
           TraditionalForm]}]]}], "+", 
       RowBox[{
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["q",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], 
         RowBox[{"m", "+", "1"}]], " ", 
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             OverscriptBox[
              FormBox["p",
               TraditionalForm], "_"],
             TraditionalForm]}],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"], " ", 
        SuperscriptBox[
         OverscriptBox["\[Epsilon]", "_"], 
         RowBox[{
          FormBox[
           FormBox["\[Mu]",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           FormBox["\[Nu]",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           FormBox["\[CapitalDelta]",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           OverscriptBox[
            FormBox["p",
             TraditionalForm], "_"],
           TraditionalForm]}]]}]}], ")"}]}]}]}], TraditionalForm]], "Output",
 ImageSize->{511, 93},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Factor2", "[", 
  RowBox[{"Calc", "[", 
   RowBox[{
    RowBox[{"%", "/.", 
     RowBox[{"p", "\[Rule]", 
      RowBox[{"-", "q"}]}]}], ",", 
    RowBox[{"Assumptions", "\[Rule]", "Automatic"}]}], "]"}], "]"}]], "Input",\

 CellLabel->"In[5]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"\[ImaginaryI]", " ", 
   RowBox[{"(", 
    RowBox[{
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"-", "1"}], ")"}], 
      RowBox[{"m", "+", "1"}]], "+", "1"}], ")"}], " ", 
   SuperscriptBox["\[Delta]", 
    RowBox[{
     FormBox[
      FormBox["a",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["b",
       TraditionalForm],
      TraditionalForm]}]], " ", 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{
      FormBox[
       FormBox["\[CapitalDelta]",
        TraditionalForm],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox["q",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], 
    RowBox[{"m", "-", "1"}]], " ", 
   SuperscriptBox[
    OverscriptBox["\[Epsilon]", "_"], 
    RowBox[{
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[CapitalDelta]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      OverscriptBox[
       FormBox["q",
        TraditionalForm], "_"],
      TraditionalForm]}]]}], TraditionalForm]], "Output",
 ImageSize->{275, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]="]
}, Open  ]],

Cell["\<\
Compare with the Feynman rule tabulated in Twist2GluonOperator.\
\>", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Twist2GluonOperator", "[", 
  RowBox[{"q", ",", 
   RowBox[{"{", 
    RowBox[{"\[Mu]", ",", "a"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"\[Nu]", ",", "b"}], "}"}], ",", 
   RowBox[{"Polarization", "\[Rule]", "1"}], ",", 
   RowBox[{"Explicit", "\[Rule]", "True"}]}], "]"}]], "Input",
 CellTags->"FeynRule",
 CellLabel->"In[6]:=",
 CellID->1311336663],

Cell[BoxData[
 FormBox[
  RowBox[{"\[ImaginaryI]", " ", 
   RowBox[{"(", 
    RowBox[{"1", "-", 
     FormBox[
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{"-", "1"}], ")"}], "m"],
      TraditionalForm]}], ")"}], " ", 
   SuperscriptBox["\[Delta]", 
    RowBox[{
     FormBox[
      FormBox["a",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["b",
       TraditionalForm],
      TraditionalForm]}]], " ", 
   FormBox[
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{
       FormBox[
        FormBox["\[CapitalDelta]",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["q",
         TraditionalForm],
        TraditionalForm]}], ")"}], 
     RowBox[{"m", "-", "1"}]],
    TraditionalForm], " ", 
   SuperscriptBox[
    OverscriptBox["\[Epsilon]", ""], 
    RowBox[{
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[CapitalDelta]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["q",
       TraditionalForm],
      TraditionalForm]}]]}], TraditionalForm]], "Output",
 ImageSize->{256, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"FeynRule",
 CellLabel->"Out[6]="]
}, Open  ]],

Cell["quark-quark -gluon-gluon Feynman rule (unpolarized).", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Lagrangian", "[", "\"\<oqu\>\"", "]"}]], "Input",
 CellLabel->"In[7]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox["\[ImaginaryI]", "m"], " ", 
   RowBox[{
    FormBox[
     OverscriptBox["\[Psi]", "_"],
     TraditionalForm], ".", 
    RowBox[{"(", 
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       FormBox["\[CapitalDelta]",
        TraditionalForm],
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     SubscriptBox["D", 
      FormBox["\[CapitalDelta]",
       TraditionalForm]], 
     RowBox[{"m", "-", "1"}]], ".", 
    FormBox["\[Psi]",
     TraditionalForm]}]}], TraditionalForm]], "Output",
 ImageSize->{156, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[7]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynRule", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"QuantumField", "[", "QuarkField", "]"}], "[", "p", "]"}], ",", 
     
     RowBox[{
      RowBox[{"QuantumField", "[", "AntiQuarkField", "]"}], "[", "q", "]"}], 
     ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "\[Mu]", "}"}], ",", 
        RowBox[{"{", "a", "}"}]}], "]"}], "[", "r", "]"}], ",", 
     RowBox[{
      RowBox[{"QuantumField", "[", 
       RowBox[{"GaugeField", ",", 
        RowBox[{"{", "\[Nu]", "}"}], ",", 
        RowBox[{"{", "b", "}"}]}], "]"}], "[", "s", "]"}]}], "}"}], ",", 
   RowBox[{"ZeroMomentumInsertion", "\[Rule]", "True"}], ",", 
   RowBox[{"InitialFunction", "\[Rule]", "Identity"}]}], "]"}]], "Input",
 CellLabel->"In[8]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"-", "1"}], ")"}], 
     RowBox[{"m", "+", "1"}]], " ", 
    SuperscriptBox[
     FormBox[
      FormBox["\[CapitalDelta]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]], " ", 
    SuperscriptBox[
     FormBox[
      FormBox["\[CapitalDelta]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]], " ", 
    SubsuperscriptBox["g", "s", "2"], " ", 
    RowBox[{
     SuperscriptBox["T", 
      FormBox[
       FormBox["a",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["T", 
      FormBox[
       FormBox["b",
        TraditionalForm],
       TraditionalForm]]}], " ", 
    RowBox[{
     OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
     FormBox[
      FormBox["\[CapitalDelta]",
       TraditionalForm],
      TraditionalForm]}], " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       TagBox[
        RowBox[{
         UnderoverscriptBox["\[Sum]", 
          RowBox[{"j", "=", "0"}], 
          RowBox[{
           RowBox[{"-", "3"}], "+", "m"}]], "\<\"\"\>"}],
        HoldForm],
       TraditionalForm], 
      FormBox[
       RowBox[{"\<\"\"\>", " ", 
        RowBox[{"(", 
         RowBox[{"j", "+", "1"}], ")"}]}],
       TraditionalForm], 
      FormBox[
       RowBox[{
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{"-", "1"}], ")"}], "j"], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["p",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], "i"], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["q",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], 
         RowBox[{
          RowBox[{"-", "j"}], "+", "m", "-", "3"}]], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             OverscriptBox[
              FormBox["p",
               TraditionalForm], "_"],
             TraditionalForm]}], "+", 
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             OverscriptBox[
              FormBox["s",
               TraditionalForm], "_"],
             TraditionalForm]}]}], ")"}], 
         RowBox[{"j", "-", "i"}]]}],
       TraditionalForm]}], ")"}]}], "+", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      FormBox["\[CapitalDelta]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]], " ", 
    SuperscriptBox[
     FormBox[
      FormBox["\[CapitalDelta]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]], " ", 
    SubsuperscriptBox["g", "s", "2"], " ", 
    RowBox[{
     SuperscriptBox["T", 
      FormBox[
       FormBox["b",
        TraditionalForm],
       TraditionalForm]], ".", 
     SuperscriptBox["T", 
      FormBox[
       FormBox["a",
        TraditionalForm],
       TraditionalForm]]}], " ", 
    RowBox[{
     OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
     FormBox[
      FormBox["\[CapitalDelta]",
       TraditionalForm],
      TraditionalForm]}], " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       TagBox[
        RowBox[{
         UnderoverscriptBox["\[Sum]", 
          RowBox[{"j", "=", "0"}], 
          RowBox[{
           RowBox[{"-", "3"}], "+", "m"}]], "\<\"\"\>"}],
        HoldForm],
       TraditionalForm], 
      FormBox[
       RowBox[{"\<\"\"\>", " ", 
        RowBox[{"(", 
         RowBox[{"j", "+", "1"}], ")"}]}],
       TraditionalForm], 
      FormBox[
       RowBox[{
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{"-", "1"}], ")"}], "j"], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["q",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], "i"], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           FormBox[
            FormBox["\[CapitalDelta]",
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\"\[CenterDot]\"\>",
            TraditionalForm], 
           FormBox[
            OverscriptBox[
             FormBox["p",
              TraditionalForm], "_"],
            TraditionalForm]}], ")"}], 
         RowBox[{
          RowBox[{"-", "j"}], "+", "m", "-", "3"}]], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             OverscriptBox[
              FormBox["q",
               TraditionalForm], "_"],
             TraditionalForm]}], "+", 
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             OverscriptBox[
              FormBox["s",
               TraditionalForm], "_"],
             TraditionalForm]}]}], ")"}], 
         RowBox[{"j", "-", "i"}]]}],
       TraditionalForm]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{549, 135},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[8]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Twist2QuarkOperator", "[", 
  RowBox[{
   RowBox[{"{", "p", "}"}], ",", 
   RowBox[{"{", "q", "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"r", ",", "\[Mu]", ",", "a"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"s", ",", "\[Nu]", ",", "b"}], "}"}], ",", 
   RowBox[{"Polarization", "\[Rule]", "0"}]}], "]"}]], "Input",
 CellLabel->"In[9]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], 
    RowBox[{"m", "+", "1"}]], " ", 
   SuperscriptBox[
    FormBox[
     FormBox["\[CapitalDelta]",
      TraditionalForm],
     TraditionalForm], 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]], " ", 
   SuperscriptBox[
    FormBox[
     FormBox["\[CapitalDelta]",
      TraditionalForm],
     TraditionalForm], 
    FormBox[
     FormBox["\[Nu]",
      TraditionalForm],
     TraditionalForm]], " ", 
   SubsuperscriptBox["g", "s", "2"], " ", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       FormBox["\[CapitalDelta]",
        TraditionalForm],
       TraditionalForm]}], ")"}], ".", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       RowBox[{
        SuperscriptBox["T", 
         FormBox[
          FormBox["a",
           TraditionalForm],
          TraditionalForm]], ".", 
        SuperscriptBox["T", 
         FormBox[
          FormBox["b",
           TraditionalForm],
          TraditionalForm]]}], " ", 
       RowBox[{"(", 
        RowBox[{
         FormBox[
          TagBox[
           RowBox[{
            UnderoverscriptBox["\[Sum]", 
             RowBox[{"i", "=", "0"}], 
             RowBox[{
              RowBox[{"-", "3"}], "+", "m"}]], "\<\"\"\>"}],
           HoldForm],
          TraditionalForm], 
         FormBox[
          RowBox[{"\<\"\"\>", " ", 
           RowBox[{"(", 
            RowBox[{"i", "+", "1"}], ")"}]}],
          TraditionalForm], 
         FormBox[
          RowBox[{
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              FormBox[
               FormBox["\[CapitalDelta]",
                TraditionalForm],
               TraditionalForm], 
              FormBox["\<\"\[CenterDot]\"\>",
               TraditionalForm], 
              FormBox[
               FormBox["q",
                TraditionalForm],
               TraditionalForm]}], ")"}], "j"], " ", 
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{"-", 
              RowBox[{"(", 
               RowBox[{
                FormBox[
                 FormBox["\[CapitalDelta]",
                  TraditionalForm],
                 TraditionalForm], 
                FormBox["\<\"\[CenterDot]\"\>",
                 TraditionalForm], 
                FormBox[
                 FormBox["p",
                  TraditionalForm],
                 TraditionalForm]}], ")"}]}], ")"}], 
            RowBox[{
             RowBox[{"-", "i"}], "+", "m", "-", "3"}]], " ", 
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              RowBox[{
               FormBox[
                FormBox["\[CapitalDelta]",
                 TraditionalForm],
                TraditionalForm], 
               FormBox["\<\"\[CenterDot]\"\>",
                TraditionalForm], 
               FormBox[
                FormBox["q",
                 TraditionalForm],
                TraditionalForm]}], "+", 
              RowBox[{
               FormBox[
                FormBox["\[CapitalDelta]",
                 TraditionalForm],
                TraditionalForm], 
               FormBox["\<\"\[CenterDot]\"\>",
                TraditionalForm], 
               FormBox[
                FormBox["r",
                 TraditionalForm],
                TraditionalForm]}]}], ")"}], 
            RowBox[{"i", "-", "j"}]]}],
          TraditionalForm]}], ")"}]}], "+", 
      RowBox[{
       RowBox[{
        SuperscriptBox["T", 
         FormBox[
          FormBox["b",
           TraditionalForm],
          TraditionalForm]], ".", 
        SuperscriptBox["T", 
         FormBox[
          FormBox["a",
           TraditionalForm],
          TraditionalForm]]}], " ", 
       RowBox[{"(", 
        RowBox[{
         FormBox[
          TagBox[
           RowBox[{
            UnderoverscriptBox["\[Sum]", 
             RowBox[{"i", "=", "0"}], 
             RowBox[{
              RowBox[{"-", "3"}], "+", "m"}]], "\<\"\"\>"}],
           HoldForm],
          TraditionalForm], 
         FormBox[
          RowBox[{"\<\"\"\>", " ", 
           RowBox[{"(", 
            RowBox[{"i", "+", "1"}], ")"}]}],
          TraditionalForm], 
         FormBox[
          RowBox[{
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              FormBox[
               FormBox["\[CapitalDelta]",
                TraditionalForm],
               TraditionalForm], 
              FormBox["\<\"\[CenterDot]\"\>",
               TraditionalForm], 
              FormBox[
               FormBox["q",
                TraditionalForm],
               TraditionalForm]}], ")"}], "j"], " ", 
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{"-", 
              RowBox[{"(", 
               RowBox[{
                FormBox[
                 FormBox["\[CapitalDelta]",
                  TraditionalForm],
                 TraditionalForm], 
                FormBox["\<\"\[CenterDot]\"\>",
                 TraditionalForm], 
                FormBox[
                 FormBox["p",
                  TraditionalForm],
                 TraditionalForm]}], ")"}]}], ")"}], 
            RowBox[{
             RowBox[{"-", "i"}], "+", "m", "-", "3"}]], " ", 
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              RowBox[{
               FormBox[
                FormBox["\[CapitalDelta]",
                 TraditionalForm],
                TraditionalForm], 
               FormBox["\<\"\[CenterDot]\"\>",
                TraditionalForm], 
               FormBox[
                FormBox["q",
                 TraditionalForm],
                TraditionalForm]}], "+", 
              RowBox[{
               FormBox[
                FormBox["\[CapitalDelta]",
                 TraditionalForm],
                TraditionalForm], 
               FormBox["\<\"\[CenterDot]\"\>",
                TraditionalForm], 
               FormBox[
                FormBox["s",
                 TraditionalForm],
                TraditionalForm]}]}], ")"}], 
            RowBox[{"i", "-", "j"}]]}],
          TraditionalForm]}], ")"}]}]}], ")"}]}]}], 
  TraditionalForm]], "Output",
 ImageSize->{544, 127},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[9]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Calc", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"%", "-", "%%"}], "/.", 
     RowBox[{"OPEm", "\[Rule]", "5"}]}], "/.", 
    RowBox[{"s", "\[Rule]", 
     RowBox[{
      RowBox[{"-", "p"}], "-", "q", "-", "r"}]}]}], "/.", 
   RowBox[{"D", "\[Rule]", "4"}]}], "]"}]], "Input",
 CellLabel->"In[10]:="],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[10]="]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[StyleBox[ButtonBox["Lagrangian",
 BaseStyle->"Link",
 ButtonData->"paclet:FeynCalc/ref/Lagrangian",
 ButtonNote->"Lagrangian"],
 FontFamily->"Verdana"]], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"FeynRule",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 6, 53.098117}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "FeynRule[lag, {fields}] derives the Feynman rule corresponding to the \
field configuration fields of the lagrangian lag.", "synonyms" -> {}, 
    "tabletags" -> {}, "title" -> "FeynRule", "titlemodifier" -> "", 
    "windowtitle" -> "FeynRule", "type" -> "Symbol", "uri" -> 
    "FeynCalc/ref/FeynRule"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[7416, 233, 387, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->833699013]},
 "FeynRule"->{
  Cell[74761, 2806, 379, 11, 45, "Input",
   CellTags->"FeynRule",
   CellID->1311336663],
  Cell[75143, 2819, 1438, 59, 40, "Output",
   CellTags->"FeynRule"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 94978, 3519},
 {"FeynRule", 95113, 3523}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[580, 21, 3006, 74, 53, "AnchorBarGrid",
 CellID->1],
Cell[3589, 97, 285, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[3899, 112, 600, 18, 85, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4524, 134, 738, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->395908320],
Cell[5265, 160, 31, 0, 14, "SectionHeaderSpacer"],
Cell[5299, 162, 194, 6, 32, "Notes"],
Cell[5496, 170, 256, 7, 32, "Notes"],
Cell[5755, 179, 673, 19, 84, "Notes",
 CellID->1067943069],
Cell[CellGroupData[{
Cell[6453, 202, 91, 2, 27, "Input"],
Cell[6547, 206, 808, 20, 75, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[7416, 233, 387, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->833699013],
Cell[CellGroupData[{
Cell[7828, 252, 195, 6, 26, "ExampleSection",
 CellID->511073477],
Cell[8026, 260, 143, 5, 32, "Notes"],
Cell[CellGroupData[{
Cell[8194, 269, 214, 7, 27, "Input"],
Cell[8411, 278, 312, 11, 59, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[8760, 294, 501, 14, 45, "Input"],
Cell[9264, 310, 231, 8, 35, "Output"]
}, Open  ]],
Cell[9510, 321, 66, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[9601, 325, 293, 7, 45, "Input"],
Cell[9897, 334, 602, 23, 39, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10536, 362, 529, 15, 45, "Input"],
Cell[11068, 379, 478, 18, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11583, 402, 105, 2, 9, "ExampleDelimiter"],
Cell[11691, 406, 63, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[11779, 410, 313, 9, 52, "Input"],
Cell[12095, 421, 627, 25, 56, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[12759, 451, 919, 26, 79, "Input"],
Cell[13681, 479, 6257, 246, 93, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[19975, 730, 484, 13, 45, "Input"],
Cell[20462, 745, 6653, 248, 93, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[27152, 998, 156, 4, 27, "Input"],
Cell[27311, 1004, 166, 5, 35, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[27526, 1015, 105, 2, 9, "ExampleDelimiter"],
Cell[27634, 1019, 63, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[27722, 1023, 313, 9, 52, "Input"],
Cell[28038, 1034, 627, 25, 56, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[28702, 1064, 719, 21, 62, "Input"],
Cell[29424, 1087, 3146, 126, 43, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[32607, 1218, 408, 11, 45, "Input"],
Cell[33018, 1231, 2594, 104, 43, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[35649, 1340, 149, 4, 27, "Input"],
Cell[35801, 1346, 166, 5, 35, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[36016, 1357, 105, 2, 9, "ExampleDelimiter"],
Cell[36124, 1361, 60, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[36209, 1365, 379, 11, 45, "Input"],
Cell[36591, 1378, 663, 27, 56, "Output"]
}, Open  ]],
Cell[37269, 1408, 33, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[37327, 1412, 604, 18, 45, "Input"],
Cell[37934, 1432, 1638, 66, 43, "Output"]
}, Open  ]],
Cell[39587, 1501, 34, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[39646, 1505, 866, 25, 79, "Input"],
Cell[40515, 1532, 3111, 126, 43, "Output"]
}, Open  ]],
Cell[43641, 1661, 35, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[43701, 1665, 1523, 43, 131, "Input"],
Cell[45227, 1710, 6225, 241, 68, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[51501, 1957, 105, 2, 9, "ExampleDelimiter"],
Cell[51609, 1961, 43, 0, 32, "Notes"],
Cell[51655, 1963, 53, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[51733, 1967, 96, 2, 27, "Input"],
Cell[51832, 1971, 1337, 47, 56, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[53206, 2023, 632, 18, 62, "Input"],
Cell[53841, 2043, 7590, 272, 90, "Output"]
}, Open  ]],
Cell[61446, 2318, 51, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[61522, 2322, 96, 2, 27, "Input"],
Cell[61621, 2326, 1963, 69, 56, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[63621, 2400, 632, 18, 62, "Input"],
Cell[64256, 2420, 8655, 304, 114, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[72948, 2729, 269, 9, 27, "Input"],
Cell[73220, 2740, 1413, 57, 43, "Output"]
}, Open  ]],
Cell[74648, 2800, 88, 2, 32, "Notes"],
Cell[CellGroupData[{
Cell[74761, 2806, 379, 11, 45, "Input",
 CellTags->"FeynRule",
 CellID->1311336663],
Cell[75143, 2819, 1438, 59, 40, "Output",
 CellTags->"FeynRule"]
}, Open  ]],
Cell[76596, 2881, 69, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[76690, 2885, 96, 2, 27, "Input"],
Cell[76789, 2889, 702, 25, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[77528, 2919, 848, 23, 96, "Input"],
Cell[78379, 2944, 6787, 244, 156, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[85203, 3193, 363, 10, 27, "Input"],
Cell[85569, 3205, 6424, 214, 148, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[92030, 3424, 337, 11, 27, "Input"],
Cell[92370, 3437, 167, 5, 35, "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[92576, 3447, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[92644, 3452, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[92917, 3466, 178, 4, 56, "SeeAlso"]
}, Open  ]],
Cell[93110, 3473, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

